step-counting predicate

[数] 计步谓词

热门查询